propositional logic перевод

• логика высказываний

• propositional:    пропозициональный alphabet of propositional calculus ≈ алфавитисчисления высказываний, алфавит нулевого порядка classicalpropositional calculus ≈ классическое исчисление высказываний,классическое пр
• logic:    1) логика (наука)2) логика, логичность (аргументации и т. п.); разумность; закономерность Ex: to argue with logic рассуждать логично3) логика, неизбежный вывод; неизбежность какого-л. поведения Ex:
• propositional algebra:    алгебра высказываний; пропозициональная алгебра
• propositional argument:    мат. пропозициональный аргумент
• propositional axiom:    мат. пропозициональная аксиома
• propositional calculus:    лог. пропозициональное исчисление, исчисление высказываний
• propositional connection:    матем. пропозициональная связка
• propositional connective:    пропозициональная связка
• propositional form:    мат. пропозициональная форма
• propositional formula:    мат. пропозициональная формула
• propositional function:    лог. пропорциональная функция
• propositional functor:    мат. пропозициональный функтор, логическая связка
• propositional hierarchy:    пропозициональная иерархия; иерархия высказываний
• propositional implication:    мат. импликация высказываний
• propositional inference:    пропозициональный вывод